#ifndef	_P_BASE_H
#define	_P_BASE_H

#ifndef __ASSEMBLER__
#define KERNEL_START    (0xffff000000000000) 
#endif

#define PBASE 	    	0xFE000000
#define DEVICE_SIZE 	0x02000000
#define TOTAL_MEMORY    0x20000000

#endif  /*_P_BASE_H */
